大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ^2006 的图书(共1811本)

Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

0
索取号：
作者：Brim、 Lubo拧.、Haverkort、 Boudewijn.、Leucker、 Martin.、Pol、 Jaco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Agent-Oriented Software Engineering VII [electronic resource] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

0
索取号：
作者：Padgham、 Lin.、Zambonelli、 Franco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Numerical Methods and Applications [electronic resource] : 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers

0
索取号：
作者：Boyanov、 Todor.、Dimova、 Stefka.、Georgiev、 Krassimir.、Nikolov、 Geno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Dynamical Vision [electronic resource] : ICCV 2005 and ECCV 2006 Workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, 2006. Revised Papers

0
索取号：
作者：Vidal、 Ren茅.、Heyden、 Anders.、Ma、 Yi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model-Driven Development of Reliable Automotive Services [electronic resource] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

0
索取号：
作者：Broy、 Manfred.、Kr眉ger、 Ingolf H.、Meisinger、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Graph Drawing [electronic resource] : 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers

0
索取号：
作者：Kaufmann、 Michael.、Wagner、 Dorothea.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

0
索取号：
作者：Bin、 Eyal.、Ziv、 Avi.、Ur、 Shmuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Perspectives of Systems Informatics [electronic resource] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

0
索取号：
作者：Virbitskaite、 Irina.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Task Models and Diagrams for Users Interface Design [electronic resource] : 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

0
索取号：
作者：Coninx、 Karin.、Luyten、 Kris.、Schneider、 Kevin A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

E-Business and Telecommunication Networks [electronic resource] : Third International Conference, ICETE 2006, Set煤bal, Portugal, August 7-10, 2006. Selected Papers

0
索取号：
作者：Filipe、 Joaquim.、Obaidat、 Mohammad S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software and Data Technologies [electronic resource] : First International Conference, ICSOFT 2006, Set煤bal, Portugal, September 11-14, 2006, Revised Selected Papers

0
索取号：
作者：Filipe、 Joaquim.、Shishkov、 Boris.、Helfert、 Markus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Operations Research Proceedings 2006 [electronic resource] : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Jointly Organized with the Austrian Society of Operations Research (脰GOR) and the Swiss Society of Operations Research (SVOR) Karlsruhe, September 6鈥謠2006

0
索取号：
作者：Waldmann、 Karl-Heinz.、Stocker、 Ulrike M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Distributed, High-Performance and Grid Computing in Computational Biology [electronic resource] : International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings

0
索取号：
作者：Dubitzky、 Werner.、Schuster、 Assaf.、Sloot、 Peter M. A.、Schroeder、 Michael.、Romberg、 Mathilde.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

KI 2006: Advances in Artificial Intelligence [electronic resource] : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings

0
索取号：
作者：Freksa、 Christian.、Kohlhase、 Michael.、Schill、 Kerstin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers

0
索取号：
作者：Washio、 Takashi.、Satoh、 Ken.、Takeda、 Hideaki.、Inokuchi、 Akihiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Large Random Matrices: Lectures on Macroscopic Asymptotics [electronic resource] : 脡cole d'脡t茅 de Probabilit茅s de Saint-Flour XXXVI 驴 2006

0
索取号：
作者：Guionnet、 Alice.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.